$\forall$$T$:Type, ${\it ll}$:($T$ List List). concat(${\it ll}$) $\in$ ($T$ List)